Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
61	SelectNet_Manual_v2_April_2012.pdf Add to Reading List Source URL: www.pinnacol.com Language: English - Date: 2012-11-30 16:14:36 Neurochemistry Nervous system Probabilistic complexity theory General anesthetics Piperidines Biochemistry Probabilistically checkable proof Phencyclidine
62	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor
63	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
64	From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-25 08:22:18 Logic Mathematical logic Proof theory Sequent Rule of inference Natural deduction Propositional calculus Deep inference Theorem Intuitionistic logic Formal proof Inference
65	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net
66	The LIFT ADA PROGRAM CERTIFICATION FORM Please complete this application as thoroughly as possible and to the best of your ability. If there are questions you do not understand, please call The LIFTfor assist Add to Reading List Source URL: files.athenstransit.com Language: English - Date: 2016-06-23 13:15:12 Physical chemistry Thermodynamic activity Proof theory Ordinal numbers
67	Unstable splittings related to Brown-Peterson cohomology J. Michael Boardman and W. Stephen Wilson Abstract. We give a new and relatively easy proof of the splitting theorem of the second author for the spaces in the Ome Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Algebra Abstract algebra Mathematics Group theory Homotopy theory Cohomology theories Homological algebra Spectral sequence Cohomology Hopf algebra Homology Steenrod algebra
68	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
69	A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-04-07 12:31:04 Logic Mathematical logic Propositional calculus Proof theory Automated theorem proving Logical truth Boolean algebra Frege system Substitution Natural deduction Hilbert system Sequent
70	Proofs of Restricted Shuﬄes Bj¨ orn Terelius and Douglas Wikstr¨om CSC KTH Stockholm, Sweden {terelius,dog}@csc.kth.se Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:55:25 Mathematics Cryptography Algebra Permutations Polynomials Computational complexity theory Proof of knowledge IP Permutation matrix SchwartzZippel lemma NP Permutation

UPDATE